Type variable - PDFSEARCH.IO - Document Search Engine

Type variable
Results: 393

#	Item
181	Long-term Photometry of Variables at La Silla C. Sterken, Astrophysical Institute, Vrije Universiteit Brussel Many visiting astronomers at ESO are involved in the study of stellar variability on long time-scales (supergi Add to Reading List Source URL: www.eso.org Language: English - Date: 2009-06-05 10:39:31 Space telescopes European Space Agency European Southern Observatory Science and technology in Europe Variable star Binary star S-type star Star International Ultraviolet Explorer Star types Space Astronomy
182	A Short Yarn The King was in a foul mood. I mean a truly terrible, screamat-the-cat, throw-a-snowglobe-out-a-third-story-window kind of mood. If you saw him rumbling toward you down the sidewalk, you would quickly change Add to Reading List Source URL: www.nostarch.com Language: English - Date: 2014-11-19 18:37:20 Computer programming Scripting languages Type theory Ruby Variable String Type system Batch file Wizardry Computing Software engineering Data types
183	Self Evaluating Rules DAVID M. WEST University of St. Thomas [removed] KEVIN JOHNSON Add to Reading List Source URL: 64.244.50.234 Language: English - Date: 2013-10-28 14:29:37 Data types Type theory Smalltalk Type system C++ classes Variable Function Objective-C Abstraction Software engineering Computing Computer programming
184	Technical Bulletin: ACCESSORY INFORMATION VARIABLE range EXHAUST FLOW CANOPIES W/MONITOR FOR NU-677 CLASS II, TYPE A2, BIOLOGICAL SAFETY CABINETS GENERAL NuAire, Class II, Type A2 (NSF/ANSI 49 North American designation Add to Reading List Source URL: www.nuaire.com Language: English - Date: 2012-11-07 16:45:24 Biosafety cabinet Safety equipment Duct Exhaust gas recirculation Exhaust system Technology Laboratory equipment Ventilation
185	Independence From Obfuscation: A Semantic Framework for Diversity∗ Riccardo Pucella Northeastern University Boston, MA[removed]USA [removed] Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 13:54:02 Data types Procedural programming languages Type theory Subroutines Stack Pointer Variable C Fortran Computing Software engineering Computer programming
186	Independence From Obfuscation: A Semantic Framework for Diversity Fred B. Schneider Cornell University Ithaca, NY[removed]USA [removed] Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 23:10:19 Data types Type theory Software bugs Primitive types Procedural programming languages Pointer Type safety Stack Variable Software engineering Computing Computer programming
187	Concepts for Concurrent Programming Fred B. Schneider1 Department of Computer Science Cornell University Ithaca, New York, U.S.A 14853 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 14:40:32 Type theory Model theory Formal methods Logic programming Data types Parallel computing Variable Guarded Command Language First-order logic Software engineering Mathematics Computing
188	Wireshark Developer and User Conference PowerShell and TShark 26 June 2012 Add to Reading List Source URL: sharkfest.wireshark.org Language: English - Date: 2012-06-28 14:09:43 Command shells Windows PowerShell Help Type Batch file Command Prompt Environment variable Alias Computing Software Scripting languages
189	Technical Bulletin: ACCESSORY INFORMATION VARIABLE range EXHAUST FLOW CANOPIES W/MONITOR FOR NU-677 CLASS II, TYPE A2, BIOLOGICAL SAFETY CABINETS GENERAL NuAire, Class II, Type A2 (NSF/ANSI 49 North American designation Add to Reading List Source URL: www.nuaire.com Language: English - Date: 2012-11-07 16:45:24 Biosafety cabinet Safety equipment Duct Exhaust gas recirculation Exhaust system Technology Laboratory equipment Ventilation
190	Polymorphic Delimited Continuations Kenichi Asai1 and Yukiyoshi Kameyama2 1 Department of Information Science, Ochanomizu University [removed] Add to Reading List Source URL: logic.cs.tsukuba.ac.jp Language: English - Date: 2007-10-10 00:35:06 Theoretical computer science Parametric polymorphism Symbol Type variable Type inference Type system Type theory Programming language theory Software engineering

UPDATE